| 10 | a1 | defined |
| 18 | a2 | defined |
| 21 | a0 |  |
| 25 | a1 | guarded |