{-# INLINE #-} and -O2