datetime createDate(int year, int month, int day)
import DateTime;
rascal>import DateTime; ok rascal>createDate(2012,1,1); datetime: 2012-01-01