let get_declaration id = (lookup id).r_declaration