Getting a subroutine right: a case study [pdf]