package org.checkerframework.checker.tainting.qual; public @interface Untainted {}