Theory of Compilation laboratory, C function headers converter