Using SingleFieldDeclaration record and the modifiersProtocol