What is this file supposed to do?