careful: `attribute [instance] ... in` declarations are surprising: they are **not** limited to the subsequent declaration, but define global instances please remove the `in` or make this a `local instance` instead