let
oc = ref stdout