that field can go, too
shuffle namespace decls a bit for clarity
correctly load and store u64 memory