implement getlex_no in the jit