#include "bitvector.h"
#include <assert.h>
#include <stdio.h>
#include "host.h"
#include <string.h>
#include "helpers.h"