comb match_not(a: Logic<1>) -> Logic<8> { match (a) { 1'1 => 8'10, 1'0 => 8'5 } }