-record(integer_const_value, {value :: integer()}).