1216 /* intrid created by create_intrid() */