Checkpoint. Compiles, but tests have segfault