syntactically correct with includes