To use CleanX system, change the extension of the source file of the Clean program to '.iclx' instead of '.icl.' Then declare which extension should be used in the begining of the file as follows.

module Sample
extension html
extension for-notation

//function definitions follow...