What is rustc? - The rustc book