[main]
k: bool = true;

[registers]
r0: bool = true;