various basic_checks -> basic_check