public interface ExitFunction {
	public void exit(int exitcode);
}