letinline Lazy variable declaration