-specs for binary arguments