// Only for gen testing.