And indeed, we have built some tooling for debugging, since we wanted it: https://github.com/Solo5/solo5/blob/master/docs/debugging.md. It wasn't that hard.