If they aren't already, or if its possible, prove that an optimized version matches the simple version...