cc -O pxref.c
pi -pbt pxref.p