let len = sized_word_len ty
-- TODO: to_stdlogicvector doesn't work here, since SizedWord
-- translates to a different type...
let len = sized_word_len ty
-- TODO: to_stdlogicvector doesn't work here, since SizedWord
-- translates to a different type...