OrdC package:breakpoint

Record fields in record construction must have a fixed runtime representation.
Record construction