Oberon-2/V4 from ETH (Linux emulation)