Specs for stdin/2