add int_main