@spec