/*
 * Test driver for Whatif.{h,c}.
 */
main() {