const listener_getterinfo: JSJitInfo;