"a punta pala"@ast . .