Function stamp 

fn stamp(when: WallTime, zone: &TimeZone) -> String

when in zone, to the second. A zone the platform cannot name falls back to UTC, which is jiff’s own answer and the only honest one — an audit line must still say when.