=> We have now two init functions for the VM. One function which must be
called at the very beginning of STklos execution (allocation of the global
pool) and the one we had before.