lazy is now a declaration modifier, not an attribute