typedef int void;