No functional changes, but for every other function we have a forward
declaration here. getatomprop should be no exception.