Don't think these two Library functions are required to stub out.  Last time I checked they aren't used by any part of the front-end, or at least of the front-end sources used by GDC/LDC.