// DISABLE-ERRORS

expect interface My