datetime now()
import DateTime;
rascal>import DateTime; ok rascal>now(); datetime: $2014-10-28T10:39:42.098+00:00$