Trivial macro to define records and corresponding printers