ELF > p @ HE @ 8 @ 0 0 0 P<