This shouldn't be a ton of effort: we should be able to just write a toplevel wrapper to the winnow incomplete stuff