unit malloc = {

imports[ in : Malloc_TFlags panic : Panic_T memcpy : { memcpy memset } ]; exports[ out : Malloc_T ]; ...

}