Module Heart : Tenacious_lib.Heart_intf.S