const onmessage_setterinfo: JSJitInfo;