Testing that inline annotations work.