0.2.16: INLINE (<+>)