after your change, this is not a common integer declaration anymore