FILE constructor Null safety

FILE()