# Demo of floating-point fn main { var n/eax: int <- copy 0 var result/xmm0: float <- convert n }