ZK-1845 annotation priority in zkibnd