N3332: Record types for C (via drs) — discussion

#c