Int8 package:bv-sized

Construct a BV from an Int8.