Require package 'window-numbering'