Pitest example