procedure {:entrypoint} main() 
{
    call A() | B();
}

procedure A() {}
procedure B() {}