let
label_key label_stmt label =
Label
(label_stmt.sid,label)