compiletime load "module_ppp.so";

PPP obj = {
  write_flag: (abs(x)<100) and (y>-50) and (y<150);
};

# ...