How to publish a constant string in the Rust FFI?

We need a public, static, unmangled pointer to some zero-terminated bytes:

#[export_name = "CONST_C_STR"] // or #[no_mangle]
pub static CONST_C_STR: &[u8; 20] = b"a constant c string\0";

This worked with a simple C program:

#include <stdio.h>

extern char * CONST_C_STR;

int main(int argc, char *argv[]) {
  printf("%s\n", CONST_C_STR);
}