simplify the implementation of Runtime.names