pub const SHREGDEL_DEFAULT: SHREGDEL_FLAGS = 0i32;