error(type_error(integer), not_an_integer)