+ (** @param prompt user prompt (default "# ")
+ * @param phrase_sep phrase separator (default ".")
+ * @param callback callback invoked upon reading of a phrase. Callback
+ * may be invoked more than once if multiple phrases have been inserted before
+ * hitting return (default: do nothing) *)