let
change_loc_status values state loc status =
change_loc_status values state loc (
Status
status)