definitions file