A modular rewrite of Mal-Seine