error(type_error(integer), 1.2)