to_string(`[0, 1]`)