let
module_name =
"Slicing.Select.Value"