mirror of
https://github.com/mii443/encrypt.git
synced 2025-08-22 15:05:33 +00:00
15 lines
240 B
Plaintext
15 lines
240 B
Plaintext
|
|
fn untrusted_function(a: num) $(accept[StdIo]) {
|
|
println("test");
|
|
}
|
|
|
|
fn main() $(accept[Administrator, StdIo]) {
|
|
println("1");
|
|
|
|
$(accept[StdIo], reject[Administrator]) {
|
|
untrusted_function();
|
|
}
|
|
|
|
println("2");
|
|
}
|