/// has_prelude2
pub fn has_prelude2() -> bool
{
  true
}