let
err_date d = ()