Boolean8.bitwidth#

Boolean8.bitwidth = 8#