Suceeds, but has a bug in printf (I think...)