This file is not production code, just for quick testing. Feel free to skim it :)