function::cmdline_args(3stap) on Linux

The text dd554d5d729e, as Debian 9 (Stretch) shipped it.

Fetch command line arguments from current process

function::cmdline_args(3stap) on Linux now