Symbol: ppc_exec_microseq