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