unit base_reset = {

imports[ vm : VM_T ]; exports[ out : Reset_T ]; ...

}