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

function one() -> bool {
    return true;
}

function main() -> bool {
    const a = one() && one();

    return a == true;
}