#include "share/atspre_staload.hats" extern fun {a:type} gcompare_addr_addr (a, a): int implement {a} gcompare_addr_addr (x, y) = gcompare_val_val<uint> ($UNSAFE.cast{uint} x, $UNSAFE.cast{uint} y) extern fun {a:type} show (a): void implement {a} show (x) = $extfcall (void, "printf", "%p\n", $UNSAFE.cast{uint} x) implement main0 () = let val x = "Hello World" val y = "Hellos World" val z = "asd" val _ = show x val _ = show y val _ = show z val _ = println! (gcompare_addr_addr (x, z)) in end