const messages_getterinfo: JSJitInfo;