Some more library functions