static_check