#include<civlc.h>

void main() {
  int i = 0;
  float j = (float) i;
  
  $assert j == 0.0;
}