Review/7629 deprecate view bounds

This makes the example slightly dynamic. Could still be improved, maybe with args `(p: A, ...)` or similar.

The flags checks the message. Could be improved just to follow the advice.  First I wanted to see if I could figure out this github interface for pulls to `soc`.