mkdate => mkinstant