translation to C: added module translation for two tests with imports.
translation to C: added module translation for two tests with imports.

WheretIB/nullc,WheretIB/nullc,WheretIB/nullc,WheretIB/nullc,WheretIB/nullc,WheretIB/nullc,WheretIB/nullc