// Simple test that uses the default CHECK prefix and should always succeed.
// CHECK: main
fn main() {}