const value_getterinfo: JSJitInfo;