Type-safe extraction of output. Returns null if state isn't OutputAvailable (caller should branch on state first).
null
OutputAvailable