Use cstdio instead of stdio.h