ampl_module_gjh
