procedure_def : proc_return ID LPAREN proc_firstarg  type_specifier_list RPAREN EQUALS constant SEMI

def p_procedure_def(t):
    """procedure_def : proc_return ID LPAREN proc_firstarg  type_specifier_list RPAREN EQUALS constant SEMI"""
    global name_dict
    tid = t[2]
    value = t[8]
    lineno = t.lineno(1)
    if id_unique(tid, 'procedure', lineno):
        name_dict[tid] = const_info(tid, value, lineno)