Write an accessor, access_ct. Rewrite stdout_display_ct to use it.