#include <civlc.cvh>
#include <stdio.h>

$input int num;

void main(){
  char c;
  int b = 256;

  c = (char)b;
  $assert ( 0 <= (int)c && (int)c < 256);
}