hello world: edge, not control flow