check-sanity target and instructions