Added definition for call-cc