pub fn generated_source(i: i64) -> i64 {
    0
}

pub fn neutral_generated_source(i: i64) -> i64 {
    0
}

pub fn neutral_manual_source(i: i64) -> i64 {
    0
}

pub fn generated_sink(i: i64) {}

pub fn neutral_generated_sink(i: i64) {}

pub fn neutral_manual_sink(i: i64) {}

pub fn generated_summary(i: i64) -> i64 {
    0
}

pub fn neutral_generated_summary(i: i64) -> i64 {
    0
}

pub fn neutral_manual_summary(i: i64) -> i64 {
    0
}