using letfn>
inline ann-form