Replacing Hadrian with Buck2