/*
 * crafty-adapter.h
 *
 *  Created on: 6 Dec 2009
 *      Author: hts
 */

#ifndef CRAFTYADAPTER_H_
#define CRAFTYADAPTER_H_

int spawn_crafty(void);
int spawn_crafty_alternate(void);
void write_to_crafty(char *message);

#endif /* CRAFTYADAPTER_H_ */
