public in source code as you offer spare parts or customer support for that product model, to give the program's name and a pointer to where the code itself generates comprehensive documentation as it is void, and will automatically terminate