pub const BUILTINS_PACKAGE: &str = "__BUILTINS__";
pub const INTERNAL_PACKAGE: &str = "__INTERNAL__";

// TODO(eng/recordflux/RecordFlux#1077): Size of integers is limited to 63 bits
pub const MAX_SCALAR_SIZE: u32 = 63;
