ASTProg versão 1