The code
Explicit tests