Intermediate code showing three different ways of creating a test double