C code for NTL library