- fprintf(stderr, "FATAL: Out of memory\n");
- /* TODO: we should send a signal, so that the debugger kicks in */
+ fprintf(stderr, "FATAL: Out of memory (while trying to claim %d bytes)\n", size);
+ /* TODO: we should send a signal, so that the debugger kicks in? */