Ported prob4 to rust 0.10-pre