#![warn(clippy::many_single_char_names)]

fn main() {}