miscellaneous stuff related to TinyAgda