$Slot: $.Shape<bigint, bigint> = $.u64