#ifndef BUG521B2_H
#define BUG521B2_H

shared int x;

#endif