Trivial_subrepresentation loading ...