`User.current` is higher-level. (`j:invokeStatic`)