PinExt - Lazy People Compilation