A lightweight testing framework for ANSI C