int getpid() {
	return 1;
}