S-finite_measure loading ...