% Style This section gives a set of strict rules for styling Rust code. [FIXME] General remarks about the style guidelines