Symbol: extract_u32_until_given_char