FILE@[0; 0)