ckfini
extern void ckfini(int);
ckfini(resolved);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);
ckfini(0);