reformat
Change S0 datatype to Bit#(64)