Added reference to extern print_int