something about "extern"