let oc = ref stdout