Bitwise right shift (like C, i >> s).
function intBitRShift input Integer i; input Integer s; output Integer o; end intBitRShift;