Declare some functions to quiet the byte-compiler