+− def urbanmain() = {+− import C1._+− +− assert(collatz(1) == 0) +− assert(collatz(6) == 8)+− assert(collatz(9) == 19)+− +− }+− +−