1 2 3 4 5 6 7
-- Test for builtin constructors at toplevel. They should -- not crash the system. Record Union Enumeration Mapping