[pacsat-dev] Initial playing with HALCoGen