add these as global symbols for convenience