const width_getterinfo: JSJitInfo;