Runtime: add version constraint annotation