more descriptive stub names (for use with gdb)