_locals_size, _stack_size, _max_locals, _max_stack are currently u2. This makes detection
of overflow/underflow dangerous. Should change those to int to be safe.