[DONT MERGE] Print state#10

abejgonzalez wants to merge 2 commits intomasterucb-bar/spike-devices:masterfrom

print-stateucb-bar/spike-devices:print-stateCopy head branch name to clipboard