some double defined