Symbol: ppbus_exec_microseq