source: CIVL/examples/languageFeatures/int2charBad2.cvl@ 63d9cfc5

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

$input int num;

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

  c = (char)b;
}