Verified swallowing compilation