The type has explicit layout, and has been exported as an empty record. Types with explicit layout can only be properly exported ...