Port emit_statement: emit_while