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