use the serialiser that we already have in the debugger instance, no need to do anything different here