TOPOFSTACK is supposrd to be top of stack + 1