#include <stdint.h>
#include "xshmu.h"

int main()
{
  xshmu w = xshmu_open("hola, mundo!", 256, 64, "");
  for (;;) xshmu_wait(w);
}