Misadventures in DTrace: how to debug the macOS kernel