;; Our implementation is longer than the original one, ;; placing it here would cause a collision with OPEN cint: jmp cint_real