/*
namespace: Compile
expectation: Pass
input_file: input/dummy.in
cwd: local_imports
*/

import circuits.*;

function main(y: bool) -> bool {
    const a = Point { x: 1u32, y: 0u32 };
    const hello_alias: char5 = "hello";
    const hello = "hello";
    const eight = 8u8;
    const fab = fab_gen();

    return( (foo() == 1u32) && hello_alias == hello && EIGHT == eight) == y;
}