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