Symbol: checkmark
bin/mined/mined.h
381
FLAG checkmark(void);
bin/mined/mined2.c
968
switch (checkmark()) {