Some functions for simple Windows Registry IO [1]