restrict fixed
arbitrary paths, no structural updates for structs