WALA/com.ibm.wala.cast/source/c/include/launch.h

#ifndef _CAST_LAUNCH_H
#define _CAST_LAUNCH_H

#include "jni.h"

extern JNIEnv *launch(char *);
extern void kill();

#endif