some identifier stuff, I think