const devices_methodinfo: JSJitInfo;