/usr/include/fplll.h is in libfplll-dev 4.0.4-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2
#include <fplll/fplll.h> using namespace fplll;