@spec

@spec