Sign in
opensecura
/
3p
/
nicta
/
cogent
/
refs/heads/master
/
.
/
cogent
/
examples
/
flip
/
main.ac
blob: a406790501abc7b6704b4d0fbac07e6d469bf906 [
file
] [
log
] [
blame
] [
edit
]
$esc
:(#
include
<stdio.h>
)
$esc
:(#
include
<stdlib.h>
)
$esc
:(#
include
"generated.c"
)
int
main
(
void
)
{
$ty
:(
F
)
rec
=
malloc
(
sizeof
(*
rec
));
rec
->
f
=
1
;
rec
=
$exp
:
flip
(
rec
);
printf
(
"%d\n"
,
rec
->
f
);
free
(
rec
);
return
0
;
}