@c automatically generated, do not edit
@set VERSION 9.6 ()
@set DATE 2022-12-17