Tidier check.c!