Stdio.Buffer->add() thread safe?