PROCEDURE stat(n: OPT.Node; outerProc: OPT.Object);
								...
				assign:
						l := n^.left; r := n^.right;
						IF l^.typ^.comp = Array THEN (* includes string assignment but not COPY *)
							OPM.WriteString(MoveFunc);
							expr(r, MinPrec); OPM.WriteString(Comma); expr(l, MinPrec); OPM.WriteString(Comma);
							IF r^.typ = OPT.stringtyp THEN OPM.WriteInt(r^.conval^.intval2)
							ELSE OPM.WriteInt(r^.typ^.size)
							END ;
							OPM.Write(CloseParen)
						ELSE
							(* присваивание записей *)
							IF l^.typ^.comp = Record THEN 
								OPM.WriteString(" __COPYREC( ");
							END;
							IF (l^.typ^.form = Pointer) & (l^.obj # NIL) & (l^.obj^.adr = 1) & (l^.obj^.mode = Var) THEN
								l^.obj^.adr := 0; design(l, MinPrec); l^.obj^.adr := 1;			(* avoid cast of WITH-variable *)
								IF r^.typ^.form # NilTyp THEN OPM.WriteString(" = (void*)")
								ELSE OPM.WriteString(" = ")
								END
							ELSE
								design(l, MinPrec); 
								(* присваивание записей *)										
								IF l^.typ^.comp = Record THEN
									OPM.WriteString(Comma)
								ELSE
									OPM.WriteString(" = ")
								END										
							END ;
							IF l^.typ = r^.typ THEN expr(r, MinPrec)
							ELSIF (l^.typ^.form = Pointer) & (r^.typ^.form # NilTyp) & (l^.typ^.strobj # NIL) THEN
								OPM.Write("("); OPC.Ident(l^.typ^.strobj); OPM.Write(")"); expr(r, MinPrec)
							ELSIF l^.typ^.comp = Record THEN
								OPM.WriteString("*("); OPC.Andent(l^.typ); OPM.WriteString("*)&"); expr(r, 9)
							ELSE expr(r, MinPrec)
							END;
								(* присваивание записей *)
								IF l^.typ^.comp = Record THEN
									OPM.WriteString(Comma);
									OPM.WriteString("sizeof(");
									OPC.Andent(l^.typ); 
									OPM.WriteString("))");
								END
							END

MODULE AsgnRec; (*$MAIN*)
IMPORT SYSTEM, P := Platform, B := Basic;
TYPE
     	Card = RECORD 
			suit, rank: INTEGER 
		END;
VAR
    p: POINTER TO Card;  
    a, b: Card;
BEGIN
      a := b 
END AsgnRec.

	 __COPYREC( AsgnRec_a, AsgnRec_b, sizeof(AsgnRec_Card));

#define __COPYREC(d, s, n) memcpy((char*)(d),(char*)(s),n)

MODULE AsgnRec; (*$MAIN*)
IMPORT SYSTEM, P := Platform, B := Basic;
TYPE
     	Card = RECORD 
								suit, rank: INTEGER 
							END;
VAR
		p,q: POINTER TO Card;  
    a, b: Card;
BEGIN
      a := b;
			p^ := a;
			q^ := p^; 
END AsgnRec. 

#define __GUARDEQR(p, dyntyp, typ)	if(dyntyp!=typ##__typ) __HALT(-6);*(p)
#define __GUARDEQP(p, typ)	if(__TYPEOF(p)!=typ##__typ)__HALT(-6);*(p)

#define __GUARDEQR(p, dyntyp, typ)	*((dyntyp!=typ##__typ)?__HALT(-6):p)
#define __GUARDEQP(p, typ)	*((__TYPEOF(p)!=typ##__typ)?__HALT(-6):p)
 

  IF Cfg.AssignValsToAggregs THEN
    desk[deskN] := hand[player, cardn];
  ELSE
    desk[deskN].suit := hand[player, cardn].suit;
    desk[deskN].rank := hand[player, cardn].rank;
  END;

OPM.WriteString("sizeof("); OPC.Andent(l^.typ); OPM.WriteString("))")

OPM.WriteInt(l^.typ^.size); OPM.Write(")")

__COPYREC(__GUARDEQP(AsgnRec2_p, AsgnRec2_Card), AsgnRec2_a, 4);

__GUARDEQP(AsgnRec2_p, AsgnRec2_Card); __COPYREC(AsgnRec2_p, AsgnRec2_a, 4);

 
#include <stdint.h>
#include <string.h>
 
typedef struct
{
    uint8_t fld1;
    uint8_t fld2;
    uint16_t fld3;
    uint32_t fld4;
} struct_t;
 
 
static struct_t str1, str2;
 
void main()
{
    str1.fld1 = 0;
    str1.fld2 = 100;
    str1.fld3 = 10000;
    str1.fld4 = 1000000;
 
    memcpy(&str2, &str1, sizeof(struct_t));
}
 

 
;test.c:16: void main()
;	---------------------------------
; Function main
; ---------------------------------
_main::
;test.c:18: str1.fld1 = 0;
	ld	hl,#_str1+0
	ld	(hl),#0x00
;test.c:19: str1.fld2 = 100;
	ld	hl,#_str1 + 1
	ld	(hl),#0x64
;test.c:20: str1.fld3 = 10000;
	ld	hl,#0x2710
	ld	((_str1 + 0x0002)), hl
;test.c:21: str1.fld4 = 1000000;
	ld	hl,#0x4240
	ld	((_str1 + 0x0004)), hl
	ld	hl,#0x000F
	ld	((_str1 + 0x0004)+2), hl
;test.c:23: memcpy(&str2, &str1, sizeof(struct_t));
	ld	hl,#_str1
	ld	de,#_str2
	ld	bc,#0x0008
	ldir
	ret