Nick Treleaven b07f373433 builtin: make 5 C functions trusted, tweak signatures (#8730)		2021-02-14 19:37:32 +01:00
..
system_rng.c.v	…
system_rng.js.v	…
system_rng_test.v	…