#ifndef BE_HH
#define BE_HH

#include <stdio.h>

void init_BE_core ();
void close_BE_core();
void unfreeze_BE_core();
void freeze_BE_core(int fd);

#endif