#ifndef BAINT32_H_INCLUDED

#include "uint32gmp.h"
#include "c.h"
#include "seq.h"
#include "seq.h"
#include <stdint.h>

uint32_t one_bit(uint32_t i);

int bit_set(uint32_t x, uint32_t i);

uint32_t set_bit(uint32_t x, uint32_t i);

uint32_t * create(uint32_t size);

int get(uint32_t * a, uint32_t i);

void set(uint32_t * a, uint32_t i);

#define BAINT32_H_INCLUDED
#endif // BAINT32_H_INCLUDED