//#Unsafe
procedure main() returns ()
{
  assert true;
  assert false;
}