validated and compiled