- NOTE: side effect are tested in 16.1.4 (restrictions b, c, d)