[.bin] prettyping added