m3core/src/C/Common/Cstdio.i3
INTERFACE
Cstdio
; TYPE FILE = RECORD END; FILE_star = UNTRACED REF FILE; END Cstdio.