OberonCore

typedef int bool;
#define FALSE ((bool)0)
#define TRUE ((bool)!FALSE)

В С++ современном уже менее оправдана, но там где С++ контачит с тем самым Сишным кодом, это все равно оправдано.

int main() {
    int a = 42;
    if (a==true){}
    return 0;
}

#define TRUE 5
#define FALSE 7
int F (args) { ... return TRUE; ... return FALSE; }

#define true -1
#define false 1
int g (args) { ... return true; ... return false; }

warning C4805: '==' : unsafe mix of type 'int' and type 'bool' in operation

#define eq ==

#define IF if
#define THEN {
#define ELSIF } else if {
#define ELSE } else {
#define END }
#define AND &&
#define OR  ||

#ifndef _STDBOOL_H
#define _STDBOOL_H

/* ISOC99 boolean */

#define bool   _Bool
#define true   1
#define false   0

#endif /* _STDBOOL_H */

MODULE List;

  IMPORT Memory, Console;

  TYPE
    AnyPtr = RECORD
             END;
    Integer = POINTER TO RECORD (AnyPtr)
                v: INTEGER
              END;
    Text = POINTER TO RECORD (AnyPtr)
             s: ARRAY 256 OF CHAR
           END;
    Node = POINTER TO RECORD (AnyPtr)
             item: POINTER TO AnyPtr;
             next: Node
           END;

  VAR k, m, n, p, r: Integer;
    s: Text;
    node1, node2: Node;

  PROCEDURE PrintList(CONST n: Node);
  VAR node: Node;
    first: BOOLEAN;
  BEGIN
    Console.String("(");
    first := TRUE;
    node := n;
    WHILE node # NIL DO
      IF first THEN
        first := FALSE;
      ELSE
        Console.String(", ");
      END;
      IF node.item IS Integer THEN
        Console.Int(node.item(Integer).v);
      ELSIF node.item IS Text THEN
        Console.String(node.item(Text).s);
      ELSE
        PrintList(node.item(Node));
      END;
      node := node.next;
    END;
    Console.String(")");
  END PrintList;

  PROCEDURE Do;
  BEGIN
    (* Создаем основной список *)
    NEW(k);
    k.v := 5;
    NEW(m);
    m.v := 10;
    NEW(n);
    n.v := 15;
    NEW(node1);
    node1.item := k;
    NEW(node1.next);
    node1.next.item := m;
    NEW(node1.next.next);
    node1.next.next.item := n;
   
    (* Создаем второй список *)
    NEW(p);
    p.v := 2;
    NEW(r);
    r.v := 4;
    NEW(node2);
    node2.item := p;
    NEW(node2.next);
    node2.next.item := r;


    (* Заменяем второй элемент списка вторым списком *)
    node1.next.item := node2;
 
    (* Заменяем первый элемент списка строкой *)
    NEW(s);
    s.s := "Hello";
    node1.item := s;

    (* Печатаем список *)
    PrintList(node1);
  END Do;
       

BEGIN
  Do;
END List.