Use the `AgentId` typedef instead of `int`.