const label_getterinfo: JSJitInfo;