fun f() = raise MyException;
fun g() = raise MyDataException 22;