Symbol: spa_get_checkpoint_space