definition module ProcessSerialNumber;

// winos
import StdOverloaded;
//1.3
from ioTypes import IOState;
//3.1
/*2.0
from ioTypes import ::IOState;
0.2*/


:: ProcessSerialNumber;

CreateProcessSerialNumber :: !Int -> !ProcessSerialNumber;

DefaultProcessSerialNumber :: !ProcessSerialNumber;

GetOSProcessSerialNumber :: !ProcessSerialNumber -> !Int;

instance == ProcessSerialNumber;

KillClient2 :: !ProcessSerialNumber !(IOState s) ->  !(IOState s);