zeit_read_10bits 266 src/zeit.c	  x = zeit_read_10bits();
zeit_read_10bits 267 src/zeit.c	  y = zeit_read_10bits();
zeit_read_10bits 359 src/zeit.c	  x = zeit_read_10bits();
zeit_read_10bits 360 src/zeit.c	  y = zeit_read_10bits();
zeit_read_10bits 271 src/zeit.c	    x =	zeit_read_10bits();
zeit_read_10bits 272 src/zeit.c	    y =	zeit_read_10bits();
zeit_read_10bits 370 src/zeit.c	    x =	zeit_read_10bits();
zeit_read_10bits 371 src/zeit.c	    y =	zeit_read_10bits();