// { dg-additional-options "-w" }
mod modules;

fn main() {
    let twelve = modules::return_12();
}