@@ expression E; @@ //-alloca(E) //+malloc(E) - alloca + malloc (E)