[.bin] prettyping update