reverting the pow2 change to make CI go through again
reverting the pow2 change to make CI go through again

YaccConstructor/FStar,FStarLang/FStar,hoheinzollern/FStar,A-Manning/FStar,YaccConstructor/FStar,hoheinzollern/FStar,hoheinzollern/FStar,FStarLang/FStar,hoheinzollern/FStar,YaccConstructor/FStar,A-Manning/FStar,A-Manning/FStar,YaccConstructor/FStar,FStarLang/FStar