unit AMM = {

imports[ panic : Panic_T stdout : Stdout_T malloc : Malloc_T ]; exports[ out : AMM_T ]; ...

}