This is auto-generated - see the "product-gen" script.