How sure are we that this is safe in bash?