PrelRules: Handle Int left shifts of more than word-size bits