SLICC: Put functions of a controller in its .cc file