/* See LICENSE file for copyright and license details. */

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