%
% correct the line number to its normal Body location
%
dup "line " 1 1 1 parse " " 0 1 1 parse trim
second "character " 1 1 1 parse trim
%
% stack: address line-number character
%
second numeric
{
 dup numeric
 {
  exch 10 sub ^"at " &"/" ^
 }
 {
  pop
  10 sub ^"at "
 } ifelse
 pop2nd
}
{
 pop2
} ifelse