let locals values f state =
      List.fold_left (fun s v -> variable s values v) state f.slocals