Some tools for C development