Symbol: mir_check_len