#!/bin/sh
# Running this with `sh` since it's very tiny, and doesn't need the big bash.

# Printing time in UTC.
echo "$(date -u +%FT%T.%3NZ)" "$@"