#! /usr/bin/gawk -f
# Last edited on 2000-08-21 18:27:03 by stolfi

BEGIN {
    if (height == "") { arg_error("mus define \"height\""); }
}

/^ *([#!]|$)/{print; next;}

/ *[0-9]/ {
  gsub(/[,]/, " ", $0);
  gsub(/[()]/, "", $0);
  x = $1; y = height - $2;
  printf "  %4d %4d\n", x, y;
}

function arg_error(msg)
{
  printf "%s\n", msg > "/dev/stderr";
  abort = 1; exit(abort);
}