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