a: s32 b: tuple<> record a {} c: tuple