Bikeshed: A preprocessor that turns source text into actuals specs