module P { public static Main() : void { def MyStringExtension(this instance : string) : string { "MyStringExtension : " + instance; } } }