<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Verdana
}
--></style>
</head>
<body class='hmmessage'>
<FONT size=2>
Is this legal/correct?<BR>
<BR>
<BR>
Date.i3:<BR>
TYPE TimeZone <: REFANY;<BR>
VAR Local, UTC: TimeZone; (* granted, will maybe change these to extern *)<BR><BR>
<BR>
Date.m3: <BR>
REVEAL TimeZone = BRANDED "Date.TimeZone" REF INTEGER;<BR>
<BR>
<BR>
DatePosixC.c:<BR>
static const int Local = 0;<BR>
static const int UTC = 1;<BR>
extern const int const * const Date__Local = &Local;<BR>
extern const int const * const Date__UTC = &UTC;<BR>
<BR>
<BR>
- Jay<BR></FONT> </body>
</html>