Debugging: add FLEX