while(<>) {
	chop;
	push(@prim, $_);
}

print "let primitives_table = [|\n";

for ($i = 0; $i < $#prim; $i++) {
	print "  \"", $prim[$i], "\";\n";
}
print "  \"", $prim[$#prim], "\"|];;\n";
