pushing Pony Foo out of NBrut