gettuple jit: oops, index already integer