stdout package:Agda