checkpointing cast pointer interface tests