test cases/common/178 bothlibraries/main2.c

#include "mylib.h"

DO_IMPORT int func(void);
DO_IMPORT int foo(void);
DO_IMPORT int retval;

int main(void) {
    return func() + foo() == retval ? 0 : 1;
}