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