#! stap -p2

# all these variables should be type-inferred automatically because the
# operators are not overloaded
probe begin {
  a / b; c % d; e + f; g - h; i >> j; k << l; m & n; o | p; q && r; s || t;
  u . v; x * y; z ^ aa; ~ bb; ! cc; - dd; ++ ee; -- ff;
}

probe begin {
 a /= b; c %= d; e += f;  g-= h; i >>= j; k <<= l; m &= n; o |= p;
 u .= v; x *= y; z ^= aa;
}