HIDE is a headless IDE