merge master of akihikot/crsx
[compiler/c] fix: fprintTerm, reversePick ..>
[compiler/c] a fix for $Split
[compiler/c] Squash, some fixes
merged recent changes in develop to akihiko
Merge branch 'akihiko' into develop

* akihiko:
  [compiler/c] Squash, some fixes
  [compiler/c] a fix for $Split
  [compiler/c] fix: fprintTerm, reversePick ..>
  merge master of akihikot/crsx