export_name attributes may not contain null characters (\0).
export_name
\0
#[export_name="\0foo"] // error: `export_name` may not contain null characters pub fn bar() {}