Postpone allocation of STACK internal storage ... until a first push(),