Module AltErgoLib__Satml