json: use snprintf to render DecrementPointerNode json