unit invoke32 = {

imports[ main : Main_T cmdline : { prog_argc prog_argv environ } exit : Exit_T ]; exports[ start32 : { start32 } ]; ...

}