added some other functions to the standard library