fixed formals and allocLocal