Symbol: rk_cipher_run