input_terminator_t get_input_terminated_by(input_terminator_mask_t terminators,
char *out, BYTE outlen);
char *get_input(void);
+void cget_return(void);
char retry_or_quit(void);
char *format_euro(char *s, int maxlen, int cent);
void c128_perror(BYTE, char *);