Declaration format to avoid TCS