let
print_job_id oc (x,y) = fp oc
"%d.%d"
x y