include rt;
include run;
include icon;
typecheck on;
int target(int value) { return value + 1; }
fn main() {
	let replacement = run.tokens("int target(char* value) { return 9; }");
	rt.put_n(run.replace_function(target, replacement)); rt.put_c(' ');
	rt.put_n(target(3)); rt.put_c(10);
	return 0;
}