Utilities for IDEFS.