an interface to use readline from Pure
