Example on the use of K3 mutability qualifiers