Debugging of ARK2 and ARK3. JEG