[pacsat-dev] Re: Initial playing with HALCoGen