let
region_assigns k =
D
.p_app1
"assigns"
(
F
.e_int k)