random stuff from picoctf.