add uptime()
add declaration for ENSURE and its underlying Guarantor