Mon Oct 31 18:28:14 PST 2005

Update of /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv5387/languages/motlle/mate/runtime

Modified Files:
	FNarith.nc FNarithM.nc FNbasic.nc FNbasicM.nc FNlist.nc 
	FNlistM.nc FNreal.nc FNrealM.nc FNseq.nc FNseqM.nc FNstring.nc 
	FNstringM.nc FNtranscendentals.nc FNtranscendentalsM.nc 
	FNvector.nc FNvectorM.nc SFNarith.nc SFNarithM.nc SFNmagic.nc 
	SFNreal.nc SFNrealM.nc 
Log Message:
copyright notices (yeah!)
misc minor bug fixes
move tsql.vmsf TinySQL VM to TinySQL directory

Index: FNarith.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNarith.nc,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** FNarith.nc	25 Oct 2005 00:01:24 -0000	1.3
--- FNarith.nc	1 Nov 2005 02:28:11 -0000	1.4
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  configuration FNarith {
    provides {

Index: FNarithM.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNarithM.nc,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** FNarithM.nc	25 Oct 2005 16:54:08 -0000	1.4
--- FNarithM.nc	1 Nov 2005 02:28:11 -0000	1.5
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  module FNarithM {
    provides {

Index: FNbasic.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNbasic.nc,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** FNbasic.nc	25 Oct 2005 16:54:08 -0000	1.3
--- FNbasic.nc	1 Nov 2005 02:28:11 -0000	1.4
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  configuration FNbasic {
    provides {

Index: FNbasicM.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNbasicM.nc,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** FNbasicM.nc	25 Oct 2005 23:08:52 -0000	1.6
--- FNbasicM.nc	1 Nov 2005 02:28:11 -0000	1.7
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  module FNbasicM {
    provides {

Index: FNlist.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNlist.nc,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** FNlist.nc	25 Oct 2005 16:54:08 -0000	1.4
--- FNlist.nc	1 Nov 2005 02:28:11 -0000	1.5
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  configuration FNlist {
    provides {

Index: FNlistM.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNlistM.nc,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** FNlistM.nc	25 Oct 2005 16:54:08 -0000	1.6
--- FNlistM.nc	1 Nov 2005 02:28:11 -0000	1.7
***************
*** 223,229 ****
    }

! #define CAR(l) (l = l && call T.pairp(l) ? call V.read(&(call T.pair(l))->car) : NULL)
! #define CDR(l) (l = l && call T.pairp(l) ? call V.read(&(call T.pair(l))->cdr) : NULL)
! #define PUSH(l) if (l) call S.qpush(context, l); else call E.error(context, MOTLLE_ERROR_BAD_TYPE)

    //FN car: l -> x. Returns first element of pair l
--- 223,238 ----
    }

! #define CAR(l) if (!call T.pairp(l)) goto bad; l = call V.read(&(call T.pair(l))->car)
! #define CDR(l) if (!call T.pairp(l)) goto bad; l = call V.read(&(call T.pair(l))->cdr)
! #define PUSH(l) call S.qpush(context, /*
!  * Copyright (c) 2004-2005 Intel Corporation
!  * All rights reserved.
!  *
!  * This file is distributed under the terms in the attached INTEL-LICENSE     
!  * file. If you do not find these files, copies can be found by writing to
!  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
!  * 94704.  Attention:  Intel License Inquiry.
!  */
! l); return SUCCESS; bad: call E.error(context, MOTLLE_ERROR_BAD_TYPE); return SUCCESS

    //FN car: l -> x. Returns first element of pair l
***************
*** 233,238 ****
      CAR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 242,245 ----
***************
*** 247,252 ****
      CDR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 254,257 ----
***************
*** 262,267 ****
      CAR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 267,270 ----
***************
*** 277,282 ****
      CAR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 280,283 ----
***************
*** 292,297 ****
      CDR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 293,296 ----
***************
*** 307,312 ****
      CDR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 306,309 ----
***************
*** 323,328 ****
      CAR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 320,323 ----
***************
*** 339,344 ****
      CAR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 334,337 ----
***************
*** 355,360 ****
      CAR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 348,351 ----
***************
*** 371,376 ****
      CAR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 362,365 ----
***************
*** 387,392 ****
      CDR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 376,379 ----
***************
*** 403,408 ****
      CDR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 390,393 ----
***************
*** 419,424 ****
      CDR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 404,407 ----
***************
*** 435,440 ****
      CDR(l);
      PUSH(l);
- 
-     return SUCCESS;
    }

--- 418,421 ----

Index: FNreal.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNreal.nc,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** FNreal.nc	23 Oct 2005 22:37:09 -0000	1.3
--- FNreal.nc	1 Nov 2005 02:28:11 -0000	1.4
***************
*** 1,6 ****
  configuration FNreal {
    provides {
-     interface MateBytecode as RealP;
-     interface MateBytecode as NumberP;
      interface MateBytecode as FloatP;
      interface MateBytecode as Truncate;
--- 1,4 ----
***************
*** 12,17 ****
    components FNrealM, MProxy;

!   RealP = FNrealM.RealP;
!   NumberP = FNrealM.NumberP;
    FloatP = FNrealM.FloatP;
    Truncate = FNrealM.Truncate;
--- 10,22 ----
    components FNrealM, MProxy;

! /*
!  * Copyright (c) 2004-2005 Intel Corporation
!  * All rights reserved.
!  *
!  * This file is distributed under the terms in the attached INTEL-LICENSE     
!  * file. If you do not find these files, copies can be found by writing to
!  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
!  * 94704.  Attention:  Intel License Inquiry.
!  */
    FloatP = FNrealM.FloatP;
    Truncate = FNrealM.Truncate;

Index: FNrealM.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNrealM.nc,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** FNrealM.nc	25 Oct 2005 00:01:25 -0000	1.4
--- FNrealM.nc	1 Nov 2005 02:28:11 -0000	1.5
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  module FNrealM {
    provides {

Index: FNseq.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNseq.nc,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** FNseq.nc	25 Oct 2005 18:21:06 -0000	1.4
--- FNseq.nc	1 Nov 2005 02:28:11 -0000	1.5
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  configuration FNseq {
    provides {

Index: FNseqM.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNseqM.nc,v
retrieving revision 1.9
retrieving revision 1.10
diff -C2 -d -r1.9 -r1.10
*** FNseqM.nc	29 Oct 2005 17:25:42 -0000	1.9
--- FNseqM.nc	1 Nov 2005 02:28:11 -0000	1.10
***************
*** 203,207 ****
      else if (call T.stringp(x))
        call S.qpush(context, call T.make_int(call T.string_length(call T.string(x))));
!     else if (valid_list(context, l, &len))
        call S.qpush(context, call T.make_int(len));
      return SUCCESS;
--- 203,216 ----
      else if (call T.stringp(x))
        call S.qpush(context, call T.make_int(call T.string_length(call T.string(x))));
! /*
!  * Copyright (c) 2004-2005 Intel Corporation
!  * All rights reserved.
!  *
!  * This file is distributed under the terms in the attached INTEL-LICENSE     
!  * file. If you do not find these files, copies can be found by writing to
!  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
!  * 94704.  Attention:  Intel License Inquiry.
!  */
!     else if (valid_list(context, x, &len))
        call S.qpush(context, call T.make_int(len));
      return SUCCESS;

Index: FNstring.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNstring.nc,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** FNstring.nc	25 Oct 2005 16:54:08 -0000	1.3
--- FNstring.nc	1 Nov 2005 02:28:11 -0000	1.4
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  configuration FNstring {
    provides {

Index: FNstringM.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNstringM.nc,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** FNstringM.nc	25 Oct 2005 16:54:08 -0000	1.5
--- FNstringM.nc	1 Nov 2005 02:28:11 -0000	1.6
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  module FNstringM {
    provides {

Index: FNtranscendentals.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNtranscendentals.nc,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** FNtranscendentals.nc	23 Oct 2005 22:37:09 -0000	1.1
--- FNtranscendentals.nc	1 Nov 2005 02:28:11 -0000	1.2
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  configuration FNtranscendentals {
    provides {

Index: FNtranscendentalsM.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNtranscendentalsM.nc,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** FNtranscendentalsM.nc	25 Oct 2005 15:45:08 -0000	1.2
--- FNtranscendentalsM.nc	1 Nov 2005 02:28:11 -0000	1.3
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  module FNtranscendentalsM {
    provides {

Index: FNvector.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNvector.nc,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** FNvector.nc	30 Nov 2004 18:52:43 -0000	1.2
--- FNvector.nc	1 Nov 2005 02:28:11 -0000	1.3
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  configuration FNvector {
    provides {

Index: FNvectorM.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/FNvectorM.nc,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** FNvectorM.nc	25 Oct 2005 00:39:10 -0000	1.3
--- FNvectorM.nc	1 Nov 2005 02:28:11 -0000	1.4
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  module FNvectorM {
    provides {

Index: SFNarith.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/SFNarith.nc,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** SFNarith.nc	25 Oct 2005 22:33:21 -0000	1.2
--- SFNarith.nc	1 Nov 2005 02:28:11 -0000	1.3
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  configuration SFNarith {
    provides {

Index: SFNarithM.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/SFNarithM.nc,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** SFNarithM.nc	25 Oct 2005 22:33:21 -0000	1.2
--- SFNarithM.nc	1 Nov 2005 02:28:11 -0000	1.3
***************
*** 244,247 ****
--- 244,256 ----
    }

+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
    command uint8_t Or.byteLength() {
      return 1;

Index: SFNmagic.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/SFNmagic.nc,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** SFNmagic.nc	25 Oct 2005 00:01:25 -0000	1.2
--- SFNmagic.nc	1 Nov 2005 02:28:11 -0000	1.3
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  configuration SFNmagic {
    provides {

Index: SFNreal.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/SFNreal.nc,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** SFNreal.nc	25 Oct 2005 00:39:10 -0000	1.1
--- SFNreal.nc	1 Nov 2005 02:28:11 -0000	1.2
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  configuration SFNreal {
    provides interface MateBytecode as Divide;

Index: SFNrealM.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-1.x/tos/lib/VM/languages/motlle/mate/runtime/SFNrealM.nc,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** SFNrealM.nc	25 Oct 2005 22:33:21 -0000	1.3
--- SFNrealM.nc	1 Nov 2005 02:28:11 -0000	1.4
***************
*** 1,2 ****
--- 1,11 ----
+ /*
+  * Copyright (c) 2004-2005 Intel Corporation
+  * All rights reserved.
+  *
+  * This file is distributed under the terms in the attached INTEL-LICENSE     
+  * file. If you do not find these files, copies can be found by writing to
+  * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
+  * 94704.  Attention:  Intel License Inquiry.
+  */
  module SFNrealM {
    provides interface Divide;