Removed debugging messages; Gave the int_stack a clearer name