-record(int32, {a :: integer()}).