Implicitly_defined loading ...