#!/bin/sh

set -eu

cat <<EOF
// @generated
// This file is autogenerated by scripts/rust_root_crate.sh

EOF

for crate in $*; do
    echo "extern crate $crate;"
done