const message_getterinfo: JSJitInfo;