This looks like it has a potential to overflow. Is this somehow guarded?