/ast/pal/