$VAR1 = [ "INT" ]; Sender PID: Own PID: 2784