#!/bin/bash
./coq top "$@"