Symbol: alpha_ipi_ast