A lightweight framework of core types for modern C programs.