borderbug.c; code to reproduce the border bug.