pub type std_ostringstream = [u64; 47];