すまん、やっぱこれで良い。
signed_negative左シフトは未定義
signed_negative右シフトは処理系定義