NVC in Eugene+thread+*type

Rules