#ifndef BUG521_H
#define BUG521_H

int bug521h_beforeupcrelaxed;

#include <upc_relaxed.h>

int bug521h_afterupcrelaxed;

#endif