start updating compile_top_thm for word8 stuff