_result_void _t1 = main__res();
(void)_t1;