Download patch
ref: 18ad8af1fb596563dcc32e618f46b454efb94f75 parent: da885b02dd6178dd20ba7929b1d62aa07c0cfe8d author: Ori Bernstein <ori@eigenstate.org> date: Thu Jul 26 21:32:42 EDT 2012
Make truncating casts not broken.