Symbol: pcr_write_args