Checkpoint: function calls
Checkpoint: Function return values