In particular, make the json writer write size values, fix regression
introduced with the addition of the print_val() macro.