* plugins/debug-manager/registers.c: