struct psi_return_stmt *psi_return_stmt_init(struct psi_return_exp *exp);
void psi_return_stmt_free(struct psi_return_stmt **ret_ptr);
struct psi_return_stmt *psi_return_stmt_init(struct psi_return_exp *exp);
void psi_return_stmt_free(struct psi_return_stmt **ret_ptr);