Method Stdio.Readline()->insert()

class Stdio.Readline

Method insert

void insert(string s, int p)

FIXME

Document this function