@c automatically generated, do not edit
@set VERSION 9.6.11 ()
@set DATE 2023-11-04