Loading annotation for ethernaut.openzeppelin.com