def main(private u32 a, private u32 b) -> u32 {
    return a - b;
}