Also, the C interface should return uint64, not uint32

Signed-off-by: Luca Fulchir <luker@fenrirproject.org>