let output_result r = `output r