The explicit marker is needed because we would otherwise rely on implementation details of getters in order to accept a given getter as constant, and that would be too easy to break by accident. Also ...

As a follow-up of #99 , is there any reason there's no getter for this value? Currently, as far as I can tell, the instructions are write-only, and there's no way to retrieve them during the initia ...