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

#ifndef PRINTF_H
#define PRINTF_H

char getchar();
void putchar( char c );
void printf( const char *s, ... );

#endif
