Tässä esimerkissä esitellään executableUnit-luotausfragmentin käyttöä.
Esimerkissä luotaus lähettää jäljitysrivin kohteeseen System.out (jokaisen ladattavan luokan lähdetiedoston nimeen, metodien nimiin ja rivitaulukoihin) ja lähettää sitten jäljitysrivin jokaista toteutettavaa yksikköä kohden, joka toteutetaan.
Tämä luotaus on määritetty Probekit-muokkausohjelmassa seuraavien merkintöjen avulla: