Function resume

test/plugin/example/example.c:10–14

}

static void
resume()
{
  printf("*** The application has now been checkpointed. ***\n");
}

static void
restart()