const onmessage_getterinfo: JSJitInfo;