Subclause 8.10.2.5 says that variables in blank common never become undefined, but I couldn't find a specification that they have the SAVE attribute? Do they have the SAVE attribute?