They are part of the main and can be extracted with a small program called read3150_0.3.