Return the y variable in main for test
Echo the source code line number of the slice

We simply parse the slice file and echo the source code line number
according to the dynamic slices. Note that we rely on the format of the
*.slice file, thus we should update the SourceLineMapping too.