/*
Print details if any
*/
sys.push_prog("print.detail");
/*
Skip past nested progs and leave one blank line
If nothing was printed by "print.detail", then
no call to sys.skip() is made.
*/
if ((ldiff = sys.get_linediff()) > 0)
sys.skip(ldiff + 1);