Arf/type error