Formal_public_identifier loading ...