pollution: ffs
int ffs(int) __attribute__((__const__));