Symbol: atppc_exec_microseq