rlwrap sml