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