Miscellaneous
gdb macros, user mode working