version_def :  VERSION ID LBRACE procedure_def procedure_def_list RBRACE EQUALS constant SEMI

def p_version_def(t):
    """version_def :  VERSION ID LBRACE procedure_def procedure_def_list RBRACE EQUALS constant SEMI"""
    global name_dict
    id = t[2]
    value = t[8]
    lineno = t.lineno(1)
    if id_unique(id, 'version', lineno):
        name_dict[id] = const_info(id, value, lineno)