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