How do I debug a short code?

From reading this guide, could you try using a variable to output the return as such?

$output="This is the return";
return $output;

Also, if you’re calling the shortcode with do_shortcode('[michael]'); in a php file, you’ll need to echo this, like so:

<?php echo do_shortcode('[michael]'); ?>

error code: 523