gen_stmt