main: Starting minim
main: MaxEn returned