pub fn datetime_now() -> i64
Returns current UTC time as epoch milliseconds. This is NONDET — the only nondeterministic datetime operation.