CHECK_CODE        995 src/code.c         CHECK_CODE(code);
CHECK_CODE       1001 src/code.c         CHECK_CODE(code);
CHECK_CODE       1007 src/code.c         CHECK_CODE(code);