length-prefixed string printing