for Oberon-07