can be debugged with gdb