Runtime: update Sys_const_max_wosize