We moved this file earlier
Fixed INLINE pragma
switched to strict left folds