package return_in; public class A_test700 { public void foo() { /*[*/return;/*]*/ } }