but do not bother to declare them in <stdio.h>.  Seems to be a more
common omission than you'd think...