// Our implementation is longer than the original one,
// placing it here would cause a collision with OPEN

CINT:
    jmp cint_real