/* empty.c */ void main () {}