async fn builtin_to_file( state: Rc<TvixStoreIO>, co: GenCo, values: Vec<Value>, ) -> Result<Value, ErrorKind>