comments and static-fying global variables
more comments
nice printing for bit vectors