* plugins/debug-manager/breakpoints.c: