Manually allocating a File

[Uknown]

On Tuesday, 20 February 2018 at 15:21:59 UTC, Uknown wrote:
> On Tuesday, 20 February 2018 at 14:56:54 UTC, Chris M. wrote:
> void main()
> [snip]

Never mind, I confused FILE* with File...