stack_was_seen     64 writeckpt.cpp                               int stack_was_seen);
stack_was_seen     83 writeckpt.cpp    int stack_was_seen = 0;
stack_was_seen    251 writeckpt.cpp        stack_was_seen = 1;
stack_was_seen    253 writeckpt.cpp      writememoryarea(fd, &area, stack_was_seen);
stack_was_seen    380 writeckpt.cpp  static void writememoryarea (int fd, Area *area, int stack_was_seen)