No, he used verus, a rust tool. And shuffle and ffs. See his docs