// Copyright 2026 The V contributors.
//
// Licensed under the Apache License, Version 2.0.

module main

fn header_comment_ok() int {
	return 1
}