huwb First experimental rust implementation of time-checked data