Wanted: Static verification of comment validity