Symbol: nist_set_384