I tried to use the new "G-exp" style but that would not build, so I
keep the old style.

Other comment addressed.

Updated patch attached

On Sat, Jan 7, 2023 at 7:14 AM Andy Tai <atai@atai.org> wrote:
>
> Hi, I guess I will need to update the patch to fit the new style.
>