<?php

// return a value from the options table if it exists,
// or return a default value

my_plugin_get_option($key) {
	$defaults = array(
		'foo' => 'some string',
		'bar' => true,
		'baz' => array(
			1, 2, 3
		)
	);
	if (!isset($defaults[$key])) {
		$defaults[$key] = false;
	}
	return get_option($key, $defaults[$key]);
}