/* This is a dummy file and should not be released */