A standard library for Oberon-2