const paddingLeft_setterinfo: JSJitInfo;