Useful debug tools on Linux