(j3.2006) Blank COMMON and SAVE

[Van Snyder]

8.10.2.5 says that variables in blank common never become undefined as
the result of executing a RETURN or END statement.

There is no specification whether variables in blank common have or do
not have the SAVE attribute.

Do they have it, or do they not?