hobbes: initial integration (#16010)