def timestamp(t = None, forfilename=False):
datetimesep = '<STR_LIT:U+0020>'<EOL>timesep     = '<STR_LIT::>'<EOL>if forfilename:<EOL><INDENT>datetimesep = '<STR_LIT:->'<EOL>timesep     = '<STR_LIT:->'<EOL><DEDENT>return time.strftime('<STR_LIT>' + datetimesep +<EOL>'<STR_LIT>' + timesep + '<STR_LIT>' + timesep + '<STR_LIT>',<EOL>time.localtime(t))<EOL>
Returns a human-readable timestamp given a Unix timestamp 't' or
    for the current time. The Unix timestamp is the number of seconds since
    start of epoch (1970-01-01 00:00:00).
    When forfilename is True, then spaces and semicolons are replace with
    hyphens. The returned string is usable as a (part of a) filename.