/*
 * To be called by the "demo1" C example
 */

address myenv 12**5.56
