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