// This is a NULL file and is meant to be empty