function main(a: bool) {
    assert_eq!(a, true);
}