Add missing argument when passing to post_ok
Prefill seed when debug
Fix bug of wrong format of display zero