U: spec list