' just type
term_to_string (evaluate_term 'ext{auto1_minimization}')
into your ML top loop. But keep in mind that in order
to get 'ext{auto1_minimization}' you will need to open
a term slot with Ctrl+o and type in "auto1_minimization".
In several minutes you will get lots of line as output.
Just look for a first number!