(executable
        (name ch1)
        (libraries base combinat stdio))