void be_init_copyheur2(void);
void be_init_copyheur3(void);
void be_init_copyheur4(void);
void be_init_copyheur2(void);
void be_init_copyheur3(void);
void be_init_copyheur4(void);
void be_init_copystat(void);
void be_init_daemelspill(void);
void be_init_arch_ia32(void);
void be_init_copystat(void);
void be_init_daemelspill(void);
void be_init_arch_ia32(void);