+static void P_read_dump(const unsigned char *p0, size_t count, ssize_t d) {
+ fputs(" | ",traceout);
+ while (count) {
+ fprintf(traceout,"%02x", *p0);
+ p0 += d;
+ count--;
+ }
+}
+
+static void P_read(void *p, size_t sz, const char *what) {
+ long pos = ftell(Tinputfile);
+ ssize_t got = fread(p,1,sz,Tinputfile);
+ Pcheckinput();
+ assert(got==sz);
+ if (traceprint>1 && sz) {
+ fprintf(traceout,"%8lx %8s:",pos,what);
+ P_read_dump(p, sz, +1);
+ if (sz<=16) {
+ P_read_dump((const unsigned char *)p+sz-1, sz, -1);
+ }
+ fputs(" |\n",traceout);
+ Tflushtrace();
+ }
+}
+
+#define P_READ(x) (P_read(&(x), sizeof((x)), #x))
+