$ ! micro: a placeholder script, this utility gets compiled elsewhere