Bitvis Utility Library goes here