record star(name,HIP) procedure main() Ori := [ star("Betelgeuse",27989), star("Rigel",24436), star("Belatrix", 25336), star("Alnilam",26311) ] write("Some Orion stars by HIP#") every write( (x := !sortf(Ori,2)).name, " HIP ",x.HIP) end