Annotate fm.slice()