jacket-17
Generating cond code