Definition file