pull out compilation body