initial import of the verified version of the pacemaker