type TestObject object {
    string field = "";

    function setField(string newVal) {
        self.field = newVal;
    }
};

TestObject G = new();
public function main (string… args) {
    G.setField(args[0]); // method invocation taint global object 'G'
}