Use code generated (& then tweaked) by spec --init