/*
Copyright (C) 2008- The University of Notre Dame
This software is distributed under the GNU General Public License.
See the file COPYING for details.
*/

#ifndef BUILTIN_H
#define BUILTIN_H

#include "int_sizes.h"

INT64_T chirp_builtin(const char *subject, int argc, char *argv[]);

#endif
