JIT: implemented push(stackval)