function main() -> bool {
    assert_eq!(!1u32, 0u32);
}