// no-lazy