ckfini
void ckfini(int);
ckfinish = ckfini;
ckfini(1);
ckfini(0);
void ckfini(int);
ckfinish = ckfini;
ckfini(1);
ckfini(1);
ckfini(1);
ckfini(1);
ckfini(1);
ckfini(1);
ckfini(1);
ckfini(1);
ckfini(1);
ckfini(1);
ckfini(1);
void ckfini(int);
ckfini(1);
ckfinish = ckfini;
ckfini(0);
ckfini(1);
ckfini(1);