Diff secilc-3.5 with a secilc-9999

Thank you!