Patch name: callcc.patch