recognize an actual oberon-0 program