add procedure width and checking-width