Searched refs:slot_type_char (Results 1 – 1 of 1) sorted by relevance
533 static char slot_type_char[] = { variable791 types_buf[j] = slot_type_char[slot_type]; in print_verifier_state()