dead code elimination full
fix cast behavior
fix bin