writememoryarea    63 writeckpt.cpp  static void writememoryarea (int fd, Area *area,
writememoryarea   253 writeckpt.cpp      writememoryarea(fd, &area, stack_was_seen);