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