fn return_12() -> i32 {
    12
}