Functions to be translated to CakeML.
Added the future step.
referred to old file..