TOMOYO: Use shorter names.