Programs are extracted to extraction/