PythonとCでUNIX時間を秒で取りたい

Linux

CでUNIX時間はgettimeofdayで取れるとして、Pythonはどうすんの?
前に時間計測をやったとき
Pythonで時間計測 - odawaraの「はてな de メモ」
は、time.time()でmsecを計測したけど、あれでいいのかな。
やってみる。
まずC。

#include <stdio.h>
#include <sys/time.h>

int main(){
    struct timeval tv; 
    gettimeofday(&tv, NULL);

    printf("%ld\n",tv.tv_sec);

    return 0;
}

> gcc -Wall unixtime.c -o unixtime
> ./unixtime
1298220439

でOKしょ(time_tは64bitなので%ldなんだよ)
Pythonは、

#!/usr/bin/env python

import time
print int(time.time())

> ./unixtime.py 
1298220519

でいいのかな(time.time()だと小数点が出るのでintにキャスト)
同時に実行してみよう。

> ./unixtime & ; ./unixtime.py 
1298220566
1298220566

OKだな。