new annotation: @aoc-readonly