How can I use a fixed-size integer type to index a list? - Modular