Instead Notion segfaults when switching away from the empty workspace. The segfault happens when region_unmap is called on what looks like an invalid region in gdb.