const device_getterinfo: JSJitInfo;