#line 1049 "/home/travis/build/felix-lang/felix/src/packages/rtl.fdoc"
#ifndef __PLAT_LINUX_H__
#define __PLAT_LINUX_H__
int get_cpu_nr();
#endif