update: it compiles