+ /* Since read_uintX_bigendian() works on -- and zeroes -- four bytes, work
+ * on values of fewer bytes corrupts their immediate neighbor bytes. This
+ * necessitates working on newly acquired separate memory areas (* y), only
+ * copying the sufficiently small end result to * x.
+ */