external inputs and effects; control flow graph