DataOutputStream.size() always returns int