1 2 3 4 5 6 7 8 9
default Order dec $include <vector_dec.sail> function main () : unit->unit = { foo = 0xf; foo[0] = bitzero; print_bits("foo = ", foo) }