Symbol: pkcs1_test