Library for Frank the Miner