Finished namespace module (untested).