Why are these declared extern? they aren't used anywhere else.