Merge agouti:prog/core