const defaultSelected_setterinfo: JSJitInfo;