glulxe: add HEAD