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);
void be_init_ilpsched(void);
void be_init_copyilp(void);
void be_init_javacoal(void);
void be_init_ilpsched(void);
void be_init_copyilp(void);
void be_init_javacoal(void);