@args(String s) @s