Annotations basically work, for the simplest case