1// RUN: sed 's/^[ \t]*\/\/[ ]*CHECK.\+$//g' %s | %OutputCheck %s
2procedure main()
3{
4    // CHECK: var a:bv8
5    var a:bv8;
6}
7