baddecl2record.err line 4: unknown data type {