let output_ok o = `output (Ok o)