/*
 * Date: October 2013
 * Author: Christian Schilling
 * 
 * Void pointer is not supported.
 */
int main() {
    void* p;
    
    return 0;
}