Design with IN-HALT.