Require 'static bounds for errors