definition module ProcessSerialNumber;

// winos
import StdOverloaded;

:: ProcessSerialNumber;

CreateProcessSerialNumber :: !Int -> !ProcessSerialNumber;

DefaultProcessSerialNumber :: !ProcessSerialNumber;

GetOSProcessSerialNumber :: !ProcessSerialNumber -> !Int;

instance == ProcessSerialNumber;

KillClient2 :: !ProcessSerialNumber !*f ->  !*f;