The general form for #line is
#line number "filename"
using System; class MainClass { [STAThread] static void Main(string[] args) { #line default #line 3000 } }