Add rust-highfive record