set22k: set22k.c