.random-1 {
	z-index: random(0, 10);
}

.random-2 {
	z-index: random(0, 10 1);
}

.random-3 {
	z-index: random(--foo, 0, 10);
}

.random-4 {
	z-index: random(--bar, 0, 10);
}

.random-11 {
	width: random(0px, 10px);
}

.random-12 {
	width: random(0px, 10px 1px);
}

.random-13 {
	width: random(--foo, 0px, 10px);
}

.random-14 {
	width: random(--bar, 0px, 10px);
}

.random-15 {
	padding: random(fixed 0.5, 0px, 10px) random(fixed 0.5, 0px, 10px);
	margin: random(0px, 10px) random(0px, 10px);
	inset: random(--foo, 0px, 10px) random(--foo, 0px, 10px);
	border-top-right-radius: random(0px, 10px);
	border-top-left-radius: random(0px, 10px);
	border-bottom-right-radius: random(--foo, 0px, 10px);
	border-bottom-left-radius: random(--foo, 0px, 10px);
}

.random-15 {
	padding: random(fixed 0.5, 0px, 10px) random(fixed 0.5, 0px, 10px);
	margin: random(0px, 10px) random(0px, 10px);
	inset: random(--foo, 0px, 10px) random(--foo, 0px, 10px);
	border-top-right-radius: random(0px, 10px);
	border-top-left-radius: random(0px, 10px);
	border-bottom-right-radius: random(--foo, 0px, 10px);
	border-bottom-left-radius: random(--foo, 0px, 10px);
}

.random-15-b {
	padding: random(fixed 0.5, 0px, 10px) random(fixed 0.5, 0px, 10px);
	margin: random(0px, 10px) random(0px, 10px);
	inset: random(--foo, 0px, 10px) random(--foo, 0px, 10px);
	border-top-right-radius: random(0px, 10px);
	border-top-left-radius: random(0px, 10px);
	border-bottom-right-radius: random(--foo, 0px, 10px);
	border-bottom-left-radius: random(--foo, 0px, 10px);
}

.random-16 {
	margin: random(element-shared, 0px, 10px) random(element-shared, 0px, 10px);
	inset: random(--foo element-shared, 0px, 10px) random(--foo element-shared, 0px, 10px);
	border-top-right-radius: random(element-shared, 0px, 10px);
	border-top-left-radius: random(element-shared, 0px, 10px);
	border-bottom-right-radius: random(--foo element-shared, 0px, 10px);
	border-bottom-left-radius: random(--foo element-shared, 0px, 10px);
}

.random-16 {
	margin: random(element-shared, 0px, 10px) random(element-shared, 0px, 10px);
	inset: random(--foo element-shared, 0px, 10px) random(--foo element-shared, 0px, 10px);
	border-top-right-radius: random(element-shared, 0px, 10px);
	border-top-left-radius: random(element-shared, 0px, 10px);
	border-bottom-right-radius: random(--foo element-shared, 0px, 10px);
	border-bottom-left-radius: random(--foo element-shared, 0px, 10px);
}

.random-16-b {
	margin: random(element-shared, 0px, 10px) random(element-shared, 0px, 10px);
	inset: random(--foo element-shared, 0px, 10px) random(--foo element-shared, 0px, 10px);
	border-top-right-radius: random(element-shared, 0px, 10px);
	border-top-left-radius: random(element-shared, 0px, 10px);
	border-bottom-right-radius: random(--foo element-shared, 0px, 10px);
	border-bottom-left-radius: random(--foo element-shared, 0px, 10px);
}

.ignore-1 {
	--foo: 10px;
	width: random(0px, var(--foo));
}

.ignore-2 {
	width: random(0px, 10deg);
}

.ignore-3 {
	width: random(0, 10px);
}
