__FILE__はどのような方法で行われているのでしょうか?