Reword the callCC import