Loader for the Zehn Executable format