Implemented check_typedefs.sh.