(main (1 <- loadi 1) (2 <- loadi 3) (3 <- add 1 2) (x <- prn a) )