On 12/20/2023 7:17 AM, Richard (Rikki) Andrew Cattermole wrote: > It was ported mechanically from C++. The front end was ported mechanically by Daniel Murphy. The backend was ported manually by myself. It turned out to be much less work than I anticipated.