/* Warning: This file is generated by ./collate-test - do not modify directly! */
extern void test_boolandmaybe1();
extern void test_boolandmaybe2();