Diff secilc-3.7 with a secilc-3.11

Thank you!