const padding_left_setterinfo: JSJitInfo;