It's the only user of them, and it's going to get optimized. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au> gossip.pydiff --git a/common/test/run-json.c b/common/test/run-json.c index 956fdda35..db52d6b01 100644
This is useful when we log a JSON-escaped string, so we don't double-escape. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
real 3m51.167s user 3m51.065s sys 0m0.080s Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>