post_int.c