Emit code with the source-at macro to annotate source location