/* Dummy file */
#define RESULTB @ZERO@