// other.h: empty