fix allocation of corebuf for saving environments
date and time created 83/12/02 15:51:28 by slatteng