litmus: -stdio <bool> to suppress most of stdio calls in generated C