Symbol: AST_PCB