export {
	let fetch-word :
		&machine.Word ~ <AlignedPtr 8> ~ machine.Address ~ machine.UInt64
		-> machine.Word;

	let fetch-byte :
 		  &<Bits 8>
		~ <AlignedPtr 8>
		~ machine.Address
		~ machine.UInt64
		-> <Bits 8>
		 ~ machine.Word
    = λ ptr ↦ {
        fetch-word (align ptr);
        bit-shr (* 8 (ptr % 8));
        bit-and 0xff;
    };

    let fetch-nibble
        : &<Bits 4>
        ~ <AlignedPtr 4>
        ~ machine.UInt64

       -> <Bits 4>
       ~ machine.Word
    = λ idx ↦ {
        
    };
}