Add #include <cstdio>
Merge branch '00-08-02' into integration