Record syntax and INLINE annotations