static syntax check