Symbol: pi1ppc_exec_microseq