datetime now()
import DateTime;
rascal>import DateTime; ok rascal>now(); datetime: $2014-02-14T09:30:22.392+01:00$