const hand_getterinfo: JSJitInfo;