probably should use the same name in the gdb version