A few new library functions