Symbol: CRL_from_strings