****** Fatal Error: The value of `-9223372036854775807 - 2' is -9223372036854775809 which is out of INTEGER_64 range. Line 14 column 38 in BAD_INTEGER_CONSTANT10 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_integer_constant10.e): i64 := -9223372036854775807 - 2 ^ ------