t0090: avoid passing empty string to printf %d