parameters: ()
docstring: Print the auto-generated comment
docstring_summary: Print the auto-generated comment
docstring_tokens: Print the auto - generated comment
function: def print_comment():
      '''Print the auto-generated comment'''
  
      print('''// AUTO-GENERATED
  // These functions were auto-generated by `etc/div128.py`.
  // Do not edit them unless there is a good reason to.
  // Preferably, edit the source code to generate the constants.
  //
  // The seemingly magical values are all derived there, and are explained
  // in the function signatures of the functions they call.
  ''')
function_tokens: def print_comment ( ) : print ( '''// AUTO-GENERATED
  // These functions were auto-generated by `etc/div128.py`.
  // Do not edit them unless there is a good reason to.
  // Preferably, edit the source code to generate the constants.
  //
  // The seemingly magical values are all derived there, and are explained
  // in the function signatures of the functions they call.
  ''' )