Tried to fix pow(int,int) and enable_EXTTP