void FileReader__386_167__work__0(int ____n) { int __index; for (__index=0; __index < ____n; __index++) { __push__0(FileReader_read<float>(__file_descr__0)); } }
void work_FloatSource__243_81__0(int ____n){ for ( ; (0 < ____n); (____n--)) {{ // mark begin: SIRFilter FloatSource __push__0(rand_r(&seed)); // mark end: SIRFilter FloatSource } } }
void work_FloatSource__243_81__0(int ____n){ for ( ; (0 < ____n); (____n--)) {{ // mark begin: SIRFilter FloatSource __push__0((num__240__0)); ((num__240__0)++); if (((num__240__0) == ((float)10.0))) {((num__240__0) = ((float)0.0))/*float*/;} // mark end: SIRFilter FloatSource } } }