Allow infinitely long ps lines
Bounds checking on basename annotation