stdio.h: support %hd