The #line directive sets the line number and filename.
#line is primarily used for debugging and special applications.
The number and the name are used when outputing errors or warnings.
The general form for #line is
#line number "filename"
number is any positive integer
The optional "filename" is any valid file identifier
using System;
class MainClass
{
[STAThread]
static void Main(string[] args)
{
#line default
#line 3000
}
}