I know it's probably not a monotonic clock - need to find a way to get around that, or write a C module which does it for me