Added functions for ghc