/*
 * Date: October 2013
 * Author: Christian Schilling
 * 
 * '**' is not supported.
 */
int main(int argc , char **argv ) { 
    return 0;
}