cpp-single-exec library