some simple mining tools