/* dummy.c
 * This dummy file is just for meetting the build system's rule.
 */