added strlen printf 539