Challenges when writing gren-format