My code is, of course, perfect, and therefore it never segfaults, but just in case I added thisI definitely don't need this to debug any fault in particular