proc "[]" hello(arg)
{
    "" , arg, '\n';
}

proc main()
{
    forall (hello[i]) {
        "", hello[i], '\n';
    }
    "", foreach(hello[i]) {hello[i]}, '\n';
}