Checkpoint: More Function call compilation