Define new variable `Constant_Top' to mark the upper limit of constant

Define new variable `Constant_Top' to mark the upper limit of constant
space.  Do not use unallocated parts of constant space for the stack;
the stack size is fixed at the beginning of time.  This fixes a bug in
which the constant space overflowed into the stack space, without
signalling any error.