<html><body> Miscellaneus utility functions and interfaces that should not be in the public API </body></html>