completed machine stack and primitive