23 lines
344 B
Plaintext
23 lines
344 B
Plaintext
require = fn (ok: u1) void
|
|
{
|
|
if (!ok)
|
|
{
|
|
#trap();
|
|
}
|
|
}
|
|
|
|
slice_receiver = fn (slice: []u8) void
|
|
{
|
|
require(slice.length == 3);
|
|
require(slice[0] == 0);
|
|
require(slice[1] == 1);
|
|
require(slice[2] == 2);
|
|
}
|
|
|
|
[export] main = fn [cc(c)] () s32
|
|
{
|
|
>a: [_]u8 = [0, 1, 2];
|
|
slice_receiver(#slice(a));
|
|
return 0;
|
|
}
|