1 module cstd 2 3 def memcpy @nonnull (dst : MutPtr @restrict 4 src : Ptr @restrict 5 n : usize) : MutPtr 6 def memset @nonnull (s : MutPtr 7 c : int 8 n : usize) : MutPtr 9 type File "FILE" @c 10