add fls(), fixup print_hex_dump_fmt()