cleanup: stdio.h is not used.