Testing some C programs