| MODULE constbool5 ; | |
| FROM libc IMPORT printf, exit ; | |
| CONST | |
| World = "W" + "o" + "r" + "l" + "d" ; | |
| Hello = "Hello" + " " + World ; | |
| AddressableBits = 32 ; | |
| MaxBits = 32 ; | |
| BitsInUse = | |
| ORD(AddressableBits > MaxBits) * MaxBits + | |
| ORD(AddressableBits <= MaxBits) * AddressableBits + | |
| ORD (LENGTH (Hello) = 11) ; | |
| BEGIN | |
| IF BitsInUse = 33 | |
| THEN | |
| printf ("passed\n") ; | |
| ELSE | |
| printf ("failed\n") ; | |
| exit (1) | |
| END | |
| END constbool5. |