const ctrlKey_getterinfo: JSJitInfo;