unit diskpart = {

imports[ string : String_T stdout : Stdout_T malloc : Malloc_T iids : { oskit_blkio_iid oskit_iunknown_iid } ]; exports[ out : DiskPartition_T ]; ...

}