static void readstdin(void);
static void readfile(void);
static int parsemarkup(int index);