fun print_fast(x:int; y:int; idx:int) returns ()
fun print_gnc(y:int; x:int; idx:int) returns ()
fun print_thermal(idx:int) returns ()