+# load symbols for a Pintos user program
+define loadusersymbols
+ shell objdump -h $arg0 | awk '/.text/ { print "add-symbol-file $arg0 0x"$4 }' > .loadsymbols
+ source .loadsymbols
+ shell rm -f .loadsymbols
+end
+document loadusersymbols
+ Load the symbols contained in a user program's executable.
+ Example:
+ loadusersymbols tests/userprog/exec-multiple
+end
+