// testprog.cc
// see if I can #include a file in the parent directory
                         
// this lives in "..", and happens to not #include anything else
#include "trivlex.h"

int main()
{
  return 0;
}